#include <stdio.h>

int is_run_year(int n) {
    if (((n % 4 == 0) && (n % 100 != 0)) || (n % 400 == 1)) {
        return 1;
    }
    return 0;
}

int main() {
    int i = 0;
    int count = 0;
    for (i = 1000; i <= 2000; i++) {
        if (is_run_year(i) == 1) {
            printf("%d ", i);
            count++;
        }
    }
    printf("%d\n", count);
    return 0;
}
